GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
نویسندگان
چکیده
منابع مشابه
Generalized Algebra-Valued Models of Set Theory
We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory. §
متن کاملGeneralized coincidence theory for set-valued maps
This paper presents a coincidence theory for general classes of maps based on the notion of a Φ-essential map (we will also discuss Φ-epi maps). c ©2017 All rights reserved.
متن کاملOrthomodular-Valued Models for quantum Set Theory
Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...
متن کاملGeneralized Convex Set-Valued Maps
The aim of this paper is to show that under a mild semicontinuity assumption (the so-called segmentary epi-closedness), the cone-convex (resp. cone-quasiconvex) set-valued maps can be characterized in terms of weak cone-convexity (resp. weak cone-quasiconvexity), i.e. the notions obtained by replacing in the classical definitions the conditions of type ”for all x, y in the domain and for all t ...
متن کاملInterpreting lattice-valued set theory in fuzzy set theory
An interpretation of lattice-valued logic, defined by Titani, in basic fuzzy logic, defined by Hájek, is presented. Moreover, Titani’s axioms of lattice-valued set theory are interpreted in fuzzy set theory, under slight modifications of the fuzzy set theory axiomatics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2015
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s175502031400046x